Deterministic automaton

Results: 176



#Item
151Logic in computer science / Deterministic pushdown automaton / Constructible universe / Symbol / Bisimulation / Computer science / Theoretical computer science / Automata theory / Applied mathematics

1 Language Theory and Infinite Graphs

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2006-02-02 08:38:30
152Mathematics / Norm / Deterministic pushdown automaton / Constructible universe / Symbol / Formal languages / Theoretical computer science / Computer science / Topological vector spaces / Automata theory / Linear algebra / Models of computation

1 Language Theory and Infinite Graphs

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2006-02-02 08:38:25
153Deterministic pushdown automaton / Vertex operator algebra / Models of computation / Symbol / Constructible universe

An Introduction to Decidability of DPDA Equivalence Colin Stirling Division of Informatics University of Edinburgh email: [removed]

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2009-05-20 09:55:33
154Pushdown automaton / Deterministic pushdown automaton / Pumping lemma for regular languages / Field extension / Mathematics / Applied mathematics / Automata theory / Models of computation / Formal languages

Se ond-Order Simple Grammars Colin Stirling S hool of Informati s University of Edinburgh Edinburgh EH9 3JZ, UK

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2009-05-20 09:48:41
155Formal languages / Computer science / Pattern matching / Universal identifiers / Nondeterministic finite automaton / Deterministic automaton / Terminal and nonterminal symbols / Deterministic finite automaton / International Article Number / Automata theory / Models of computation / Theoretical computer science

Data Structures in Coco/R Hanspeter Mössenböck Johannes Kepler University Linz Institute of System Software April 2005 This technical note describes the data structures in the C# and Java implementations

Add to Reading List

Source URL: www.ssw.uni-linz.ac.at

Language: English - Date: 2005-04-26 10:03:24
156Graph theory / Tree automaton / Tree walking automaton / Nondeterministic finite automaton / Tree / T-tree / Symbol / Binary tree / Semi-deterministic Büchi automaton / Automata theory / Theoretical computer science / Computer science

Tree-Walking Automata Do Not Recognize All Regular Languages Mikolaj Bojanczyk

Add to Reading List

Source URL: www.mimuw.edu.pl

Language: English - Date: 2011-11-07 04:39:25
157Theoretical computer science / Models of computation / Computer science / Nested word / Deterministic pushdown automaton / Pushdown automaton / Deterministic context-free language / Context-free language / Omega language / Automata theory / Theory of computation / Formal languages

Visibly Pushdown Languages ∗ Rajeev Alur University of Pennsylvania

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2006-06-22 11:47:24
158Computer science / Deterministic pushdown automaton / Pushdown automaton / LL parser / Finite-state machine / Context-free language / Symbol / Greibach normal form / Nested word / Automata theory / Models of computation / Theoretical computer science

1 Pushdown Automata Hendrik Jan Hoogeboom and Joost Engelfriet

Add to Reading List

Source URL: www.liacs.nl

Language: English - Date: 2004-05-10 11:22:35
159Computer science / Pushdown automaton / Deterministic pushdown automaton / Computability / Context-free language / Finite-state machine / National Parliamentary Debate Association / Stack / Computation history / Automata theory / Models of computation / Theoretical computer science

Non-deterministic pushdown automata Regular languages are recognized by finite automata, context free languages are recognized by non-deterministic pushdown automata.

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2012-01-14 04:37:24
160Computer science / Statistics / Finite-state machine / Deterministic automaton / Markov chain / Stochastic matrix / Ω-automaton / Automata theory / Theoretical computer science / Learning automata

IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS, VOL. SMC-4, NO. 4, JULY 1974

Add to Reading List

Source URL: www.dklevine.com

Language: English - Date: 2010-12-10 19:21:29
UPDATE